(declare-fun _substvar_1416_ () Int)
(declare-fun _substvar_1541_ () Bool)
(declare-const i1 Int)
(declare-const i2 Int)
(declare-const i3 Int)
(declare-const i10 Int)
(declare-const v35 Bool)
(declare-const i14 Int)
(declare-const i15 Int)
(assert (or (xor (distinct (+ 0 _substvar_1416_ 343 917 i10) 819) _substvar_1541_ true true true true false true (= 0 (+ 247 (div (* i1 83 83) 463) 0 (abs i2) i3))) v35 v35))
(check-sat)
